Skip to content

feat(vpto): extend post-update ops - #1134

Merged
mouliangyu merged 13 commits into
hw-native-sys:mainfrom
yexiaosu:vmi-post-update-4
Aug 6, 2026
Merged

feat(vpto): extend post-update ops#1134
mouliangyu merged 13 commits into
hw-native-sys:mainfrom
yexiaosu:vmi-post-update-4

Conversation

@yexiaosu

@yexiaosu yexiaosu commented Aug 4, 2026

Copy link
Copy Markdown
Contributor

Summary

Implement Step 4 of VPTOSoftPostUpdate for issue #941: extend the VPTO post-update contract, soft-pass rewriting, and LLVM lowering to nine additional A5 memory operations:

  • pto.vldsx2
  • pto.vsldb
  • pto.plds
  • pto.pldi
  • pto.psts
  • pto.psti
  • pto.sprsts
  • pto.sprsti
  • pto.vstas

This builds on the loop and sequential analyses introduced in the previous steps and reuses the same generic rewriting infrastructure.

Key changes

  • Add optional updated_base results and corresponding verification.
  • Extend loop and sequential soft-post-update rewriting to the nine operations.
  • Model operation-specific address units:
    • element: vldsx2, vstas
    • 32-byte block: vsldb
    • byte: plds, psts, sprsts
    • target-dependent alignment: pldi, psti, sprsti
  • Add A5 DIST-dependent predicate alignment rules.
  • Preserve signed SPR offsets and normalize i32 offsets before pto.addptr.

Test coverage

Add lit coverage for IR verification, soft-pass rewriting, address-unit conversion, intrinsic ABI, both LLVM emitters, unsupported targets, and mixed-unit regressions.

Add seven A5 runtime cases covering direct post forms and normal-to-post soft-pass conversion.

Validation

  • PTOAS build: PASS
  • Focused lit tests: PASS
  • CANN 9.0.0 and beta1 LLVM checks: PASS
  • A5 SIM runtime cases: 7/7 passed

@yexiaosu
yexiaosu force-pushed the vmi-post-update-4 branch from dd3606a to f3cb040 Compare August 5, 2026 06:51
@yexiaosu
yexiaosu force-pushed the vmi-post-update-4 branch from f3cb040 to 93dc918 Compare August 5, 2026 07:49
Extend the VPTO ops, verifiers, LLVM emitters, and soft post-update rewrite to support vldus and vstus post forms.

Treat the vstus offset as a post-access stream stride rather than an initial pointer displacement, and add lit plus SIM runtime coverage for the resulting base semantics.
@mouliangyu
mouliangyu merged commit 7f9ab99 into hw-native-sys:main Aug 6, 2026
10 checks passed
@reedhecre

Copy link
Copy Markdown

A5 板测成功

  • 触发方式:merged
  • 源码提交:7f9ab998e518
  • 结果汇总:OK 21 / FAIL 0 / SKIP 0
  • 日志:/root/ptoas-board-monitor-a5/logs/20260806_171207_merged_pr1134.log
  • 结果 TSV:/root/ptoas-board-monitor-a5/logs/20260806_171207_merged_pr1134.tsv

@reedhecre

Copy link
Copy Markdown

A3 板测完成(有跳过)

  • 触发方式:merged
  • 源码提交:7f9ab998e518
  • 结果汇总:OK 220 / FAIL 0 / SKIP 3
  • 日志:/home/zhongxuan/ptoas-board-monitor/runtime/logs/20260806_021301_merged_pr1134.log
  • 结果 TSV:/home/zhongxuan/ptoas-board-monitor/runtime/logs/20260806_021301_merged_pr1134.tsv

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants